The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Willem-Paul de Roever Books

Results for Willem-Paul de Roever

Showing 1 to 4 of 4 results
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988: 354 (Lecture Notes in Computer Science) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988: 354 (Lecture Notes in Computer Science) by Grzegorz Rozenberg,Jacobus W. de Bakker,Willem-Paul De Roever

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988: 354 (Lecture Notes in Computer Science)

by Grzegorz Rozenberg,Jacobus W. de Bakker,Willem-Paul De Roever


ISBN 13: 9783540510802

Format: Paperback (728 pages)
Publisher: Springer
Published: 27 Jun 2008

Save for later

 
New : $132.56  
New : $132.56
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures: 2852 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures: 2852 (Lecture Notes in Computer Science) by Marcello Bonsangue,Susanne Graf,Frank S.de Boer,Willem-Paul de Roever

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures: 2852 (Lecture Notes in Computer Science)

by Marcello Bonsangue,Susanne Graf,Frank S.de Boer,Willem-Paul de Roever


ISBN 13: 9783540203032

Format: Paperback (520 pages)
Publisher: Springer
Published: 09 Oct 2003

Save for later

 
New : $100.78  
New : $100.78
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures: 3188 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures: 3188 (Lecture Notes in Computer Science) by Frank S. de Boer,Susanne Graf,Marcello M. Bonsangue,Willem-Paul de Roever

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003 Leiden, The Netherlands, November 4-7, 2003 Revised Lectures: 3188 (Lecture Notes in Computer Science)

by Frank S. de Boer,Susanne Graf,Marcello M. Bonsangue,Willem-Paul de Roever


ISBN 13: 9783540229421

Format: Paperback (384 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

 
New : $78.98  
New : $78.98
Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 ... in Information and Communication Technology) Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 ... in Information and Communication Technology) by David Gries,Willem-Paul de Roever

Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 ... in Information and Communication Technology)

by David Gries,Willem-Paul de Roever


ISBN 13: 9780412837609

Format: Hardcover (500 pages)
Publisher: Springer
Published: 31 May 1998

Save for later

 
New : $376.70  
New : $376.70